1. The Semantics and Proof Theory of the Logic of Bunched Implications
Author: by David J. Pym.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic.,Philosophy (General).
تعداد ۲ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۱,۵۲ ثانیه یافت شد.
